Joint State Estimation Under Attack of Discrete Event Systems

The problem of state estimation in the setting partially-observed discrete event systems subject to cyber attacks is considered. An operator observes a plant through natural projection that hides occurrence certain events. objective estimating current system. observation corrupted by an attacker which can tamper with readings set sensors thus inserting some fake events or erasing observations. aim altering operator. automaton, called joint estimator, defined describe all possible attacks. In more details, unbounded estimator obtained concurrent composition two observers, observer and observer. shows, for each observation, estimation, i.e., states consistent uncorrupted observation. Such structure be used establish if attack function harmful w.r.t. misleading relation. Our approach also extended case may insert at most n between consecutive